#!../r

print(summary(as.integer(readLines("dat.txt"))));
